Querying the Guarded Fragment
نویسندگان
چکیده
منابع مشابه
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
We consider a two-variable guarded fragment with number restrictions for binary relations and give a satisfiability preserving transformation of formulas in this fragment to the three-variable guarded fragment. The translation can be computed in polynomial time and produces a formula that is linear in the size of the initial formula even for the binary coding of number restrictions. This allows...
متن کاملBeth Definability for the Guarded Fragment
The guarded fragment (GF) was introduced in ABN98] as a fragment of rst order logic which combines a great expressive power with nice modal behavior. It consists of relational rst order formulas whose quantiiers are relativized by atoms in a certain way. While GF has been established as a particularly well-behaved fragment of rst order logic in many respects, interpolation fails in restriction ...
متن کاملThe semijoin algebra and the guarded fragment
The semijoin algebra is the variant of the relational algebra obtained by replacing the join operator by the semijoin operator. We discuss some interesting connections between the semijoin algebra and the guarded fragment of first-order logic. We also provide an Ehrenfeucht-Fräıssé game, characterizing the discerning power of the semijoin algebra. This game gives a method for showing that certa...
متن کاملBeth Deenability for the Guarded Fragment
The guarded fragment (GF) was introduced in ABN98] as a fragment of rst order logic which combines a great expressive power with nice modal behavior. It consists of relational rst order formulas whose quantiiers are relativized by atoms in a certain way. While GF has been established as a particularly well-behaved fragment of rst order logic in many respects, interpolation fails in restriction ...
متن کاملBeth definability in the Guarded Fragment
The guarded fragment (GF) was introduced in [1] as a fragment of first order logic which combines a great expressive power with nice modal behavior. It consists of relational first order formulas whose quantifiers are relativized by atoms in a certain way. While GF has been established as a particularly well-behaved fragment of first order logic in many respects, interpolation fails in restrict...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2014
ISSN: 1860-5974
DOI: 10.2168/lmcs-10(2:3)2014